hm counter examples are challenging because `A gt B` is the Pants #development

...hm. counter examples are challenging, because `...

witty-crayon-22786

09/12/2016, 11:32 PM

...hm. counter examples are challenging, because

A->B

is... the fundamental operation in the system.