Testable propositions - postulate them if they pass!