Vladimir_Nesov comments on Formalizing reflective inconsistency

[Vladimir_Nesov]

The two instances should agree on the solution, whatever it is.