Using Segments and Postulates