Typeinfo exercise 20, clarify the por and reimplements depend on por