@wryl ah, nevermind, just ppened your examples and saw the arithmetic part
@wryl so addition is specified in terms of tuple replacement using something like peano numbers?
@wryl so addition is specified in terms of tuple replacement using something like peano numbers?