don’t bet again the ingenuity of humans. we can have privacy and provable correctness. we will figure it out.