Logic is the art of convincing us of some truth.