Nick_Tarleton comments on Formalizing reflective inconsistency