What Is Proof by Casework, or Exhaustion?