Extending Linearization B
Information: Extending Linearization B