Completely off topic, but I really like the alternative for QED: Quo errat demonstrator "He who shall be shown" instead of "Which had to be demonstrated" right? Forgive me, I am just trying to keep up.