User:Numiri/KinderCalculus/Soar, Evert, nunti

Evert
Everts are distributive rules. Here we generalize the distributive rule beyond a(b+c) = ab + ac.