kill postulate
cleanup