Super AGI comments on Super AGI’s Shortform