2   +   7   =  

Nat-Nat