Too much uncommitted work
Start working on constraints. Not even close to being useful yet
Implement dyadic ≡
You can also use your local clone with git send-email.