3 ms·

How and why does a specific contradiction "coll_conj and ¬coll_conj" apply to all possible conjectures?