What Makes a Case Harder to Prove?