FinalFormal2 comments on [Linkpost] Introducing Superalignment