(2.4) geo: use postulates and diagrams