What must be done to prove the impossible?