Logic is the hygiene the mathematician practices to keep his ideas healthy and strong.