cousin_it comments on Formalizing reflective inconsistency