* `twice_as_old father son 
   | difference / 2 = 0 = difference  
   | otherwise = (father - 1) `twice_as_old` son 
   where difference = father - son`