Added notes about natural subtraction