kill some postulates