Question: The computer scientists Richard Conway and David Gries once wrote:
The absence of error messages during translation of a computer program is only a necessary and not a sufficient condition for reasonable [program] correctness.
Rewrite this statement without using the words necessary or sufficient.