As well as general conditional transformations and case distinctions, there are special conditional transformations and case distinctions that depend solely on variables.

Conditions for Variables

Case Distinctions for Variables