H. P. Grice on “=df.”

 D1: "By (when) uttering x U meant that *up" = df. "(BA) (U uttered x M-intending [i] that A should think U to & that p and [in some cases only, depending on the identification of *, pl (ii) that A should, via the fulfillment of [i], himself & that p)."