spelling out logical and testing class membership with inherits