Add proper postulates