@wryl so addition is specified in terms of tuple replacement using something like peano numbers?