Stuart_Armstrong comments on Siren worlds and the perils of over-optimised search

[Stuart_Armstrong]

a finite number of pushes on our random-world button

I consider that is also a constrained search!