wedrifid comments on Babyeater’s dilemma

[wedrifid]

Anyone else worried by this result, or have I made a mistake?

This seems correct.