"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 {}