If we can prove this, it's game over!