https://pantsbuild.org/ logo
w

witty-crayon-22786

09/12/2016, 11:32 PM
...hm. counter examples are challenging, because
A->B
is... the fundamental operation in the system.