[Retric]

Manual verification is likely just as tedious as doing it by hand in the first place.

[fabiomaia]

Probably. But maybe he'll get a kick out of modeling and automating it. Challenging his intellect seems to be the key point here.