Proof used to live behind gates. Now it lives in the file. One day that sentence will sound… · @bjklock · Receiz