added subtraction to peano