 This is a suggested definition, at least for φ, ψ, constructed using just Boolean connectives, from a planned sequel to Fusco (2015) and (2019), spelling out in the object language a semantic characterization supplied in the first of those papers. An unrestrictedly equivalent definition (or more accurately, definiens) which some readers may prefer is the following: