If Biden got in, you'd be paying $7, $8, $9.
Theorems are not discovered by accident.