QED stands for the latin phrase “quod erat demonstrandum”, meaning “which was to be demonstrated”. Mathematicians traditionally put this initalism at the bottom of an arithmetic proof, to declare that they have indeed proven what they set out to prove. It seemed like a good logo to use for our colour-accurate proofs!