tut comments on Formalizing reflective inconsistency