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


20