Logic is the art of convincing us some truth.