Alicorn comments on Formalizing reflective inconsistency