It was previously strong_disjunction(a->b,b->a) instead of weak_conjunction(a->b,b->a) :P.
(I wonder how one decides whether to use weak or strong conjunction there...)
It was previously strong_disjunction(a->b,b->a) instead of weak_conjunction(a->b,b->a) :P.
(I wonder how one decides whether to use weak or strong conjunction there...)