Added the text (hopefully) showing how mathematical propositions can get necessary truth from this model.