\contentsline {section}{\numberline {1}Case Splitting}{1}