Update Nat and Nichomachus example