3 ms·is that not exactly "deciding how much to prove it?"by throawayonthe 11mo agois that not exactly "deciding how much to prove it?"