How to unify logic & arithmetic