2.4 Properties and Postulates