The availability of machine-independent logical characterizations provides additional evidence for t...