Add postulate