Require postulate unreachability instead of collapsibility.