Koans for inheritance