emphasise it is a runtime type checking