Finished polymorphism koan