Postulates,+theorems,+and+properties