Johnicholas comments on Formalizing reflective inconsistency