Logic is the art of making truth prevail.