#### §2.3.3.(a) Static adjustment

If a base class `B` shall be lifted to a role class `R` that is not bound to (`playedBy`) `B`, but if a subclass of `R` — say `R2` — is bound to `B`, lifting is statically setup to use `R2`, the most general subclass of `R` that is bound to `B` or one of its super-types.

##### Restriction:

This step is not applicable for parameter mappings of `replace` callin bindings (§4.5.(d)).