Postulate and Definitions Match