adamShimi comments on Selection Theorems: A Program For Understanding Agents