 Finally, the third theorem concerns the Beth definability property. The interested reader can find the definition in Font, Jansana &amp; Pigozzi 2003.  In the general setting we are in, the property is too involved to state it here.