You can verify in 100-way parallel and without dependence, but you can’t do it with general computation.