Solutions to the koans 01 to 09