Expand description

Subtraction of Naturals.