Synthetic Propositions