Sophronius comments on In favour of terseness