Comment by a1371

The title is hard to understand. It's not disputing that ETH is false. It simplifies the proof that ETH is indeed false.