The deadline is getting closer Impossible to ask the author for T(v 1 ), T(v 2 ), T(v 17 )  The author (prover) will cheat Impossible to write the entire assignment  It's a long piece of paper Solution – use coauthors c= {v 1,v 2,v 17 }
{}