-
@ShengwuLi @ben_golub Also, decentralized checking for 2-cycles is both easy (even for a 4-yo) and quick, and seems relatively “cheat-proof” (any necessary formalization left as exercise to the reader). Though we did catch my mother-in-law looking off in the corner away from everyone…