H. P. Grice's Gap

“If a ‘gap sign,’ such as ‘p,’ appears in a definiendum or analysandum (“Utterer believes that p”), it will re-appear in the corresponding definiens or analysans, “By uttering x, thereby meaning that p.”