Sometimes, when one does literature search about change blindness and the psychology of perception, as one does on a Saturday evening, one might have a small intermission and relax by watching a video of a proof of Fermat’s two square theorem. Or is that just me?