remove post condition