"The default superclass when no superclass is explicitly
 specified using `extends`. For the sake of convenience, 
 this class inherits a default definition of value
 equality from `Identifiable`."
by ("Gavin")
shared abstract class Basic() 
        extends Object() satisfies Identifiable {}