kill some more postulate