The world is a question mark.
Theorems are not discovered by accident.