This proof can also be used to demonstrate, unequivocally, that the code maintains important safety or security properties.
Later proof of an invention's inutility can be used to invalidate a patent.
These proofs are used in the article Addition of natural numbers.
Such proof could be used to justify air strikes against Yugoslavia.
Since that ruling, statistical proof has been used in many other cases on inequality, discrimination, and DNA evidence.
In some states, proof of a previous background check can be used to bypass the NICS check.
For example, direct proof can be used to establish that the sum of two even integers is always even:
Direct proofs are used in mathematics, logic, and computer science.
Such proof might have been used to get the ETs to leave them alone.
Thus the usual proof of the first incompleteness theorem can be used to show that Q is incomplete and undecidable.