Introduced new functions, to define
is_superclass