ABSTRACT

It is by logic that we prove,