“Logic is the hygiene the mathematician practices to keep his ideas healthy and strong.” – Hermann Weyl