Vladimir_Nesov comments on Self-Embedded Agent’s Shortform