Scott Jenson on Nostr: You'd think this would be an easily solvable problem but there are little actions ...

You'd think this would be an easily solvable problem but there are little actions (like taking just single cup from a clean load) that breaks any clever mechanics you might come up with to show the load is clean. It's fundamentally an ambiguous problem.