BEEN WORKING FOR MONTHS AND MONTHS ON SUCH A PROOF ACTUALLY I HAD ALREADY ANNOUNCED BY MISTAKE THAT WE COULD SOLVE