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