Description: Stoic logic Thema 2 version b. See stoic2a . Version b is with the
phrase "or both". We already have this rule as mpd3an3 , so here we
prove the equivalence and discourage its use.
(New usage is discouraged.)(Contributed by David A. Wheeler, 17-Feb-2019)