You are extraordinarily ignorant of the history and design of programming languages to be making such statements. `object = state` is not a paraphrasing of fir

You are extraordinarily ignorant of the history and design of programming languages to be making such statements. `object = state` is not a paraphrasing of first order logic; it is a paraphrasing of the english sentence, "The intention motivating OOP is that the object represents state; the object's API represents changes to its state; an encapsulation ensures those changes are privately managed." which if you understood any of the context to this discussion, you would have captured -- see, eg., the other commenter who captured this accurately. I have taught hundreds of hours on programming language theory, and it is what I am doing today; and it is something I have been doing for a decade (not least, programming for two decades). I take this tone with you because assuming a person cannot /reason/ basically is an extraordinarily arrogant view which presumes you have precisely captured the context of their statements. In cases of apparent "basic failures to reason appropriately" it is almost always the observer, not the speaker, who has failed to arrive at the correct "propositional model" of their spoken/written language. You would do well to remember this, and include more humility in your communications.