The material so far has been in the context of Theta, a language that does not allow multiple inheritance of code and instance variables. However, this section shows how to extend the bidirectional layout rules to support true multiple implementation inheritance. There are two approaches to supporting multiple inheritance, both of which generate alternate versions of method code inherited from some superclasses.