allow polymorphism
Finish checking polymorphism