SamEisenstat comments on A Loophole for Self-Applicative Soundness