Cross-definability in the realm of general propositions leads to quite similar questions to those in the realm of ab-functions.