Note that "a sufficient condition for s is r" means r is a sufficient condition for s and that "a necessary condition for s is r" means r is a necessary condition for s. Rewrite the statement in if-then form. A necessary condition for this computer program to be correct is that it not produce error messages during translation.