@emilybache I'd say that it's not necessary
that the approved value is machine-generated. I use this technique when
implementing "formatters": given input, I write down the expected output
manually. Then I test the implementation against that.