Thomas Kwa comments on Selection Theorems: A Program For Understanding Agents