Rewording (Impl intro)
Rewording (Class hierarchy)
Rewording (Intermediate Representation)
Rewording (Intermediate Representation)