Added a new phrase

An appeal to justice, an integral part of any mathematical proof, was missing from this package.