Mathematical constructivists hate this meme