> In the real-world, we obviously wouldn’t be able to manually mark the papers, they would automatically be marked based on actual data
marked automatically by who, and why is outsourcing the information to an 'automatic' third-party a "proof"? Why should that third-party be trusted?