johnswentworth comments on Selection Theorems: A Program For Understanding Agents

[johnswentworth]

That is definitely a selection theorem, and sounds like a really cool one! Well done.