... doesn't matter if the
necessary is failed, because failing ... the
necessary, it doesn't matter if the sufficient
condition is ... would just lead to the
necessary being satisfied, which has ... sufficient, as mentioned above,
always means the rule disappears.