IP ¶ The class of all languages solvable by an interactive proof system with a polynomial time verifier. Comments