Fill in some more postulates