fix postulate