\indexentry{Case Splitting}{1}