On the Inevitability of the Consistency operator. - Antonio Montalbán; James Walsh 003 (J. Symb. Log., 2019)