forall_via_double_negation([1 - 1, 2 - 1, 2 - 2, 3 - 1, 3 - 2, 3 - 3]).