Text this: On two formalizations of the principle of knowability de re