Two miners. Both multiply large grids of numbers. Both get paid if the network can check the work. Only one of them did the multiply because an agent asked for the result. Which one did useful work?