Logic takes care of itself; all we have to do is to look and see how it does it. – Ludwig Wittgenstein
