one postulate left