[[Comparing logics]] [[Generalized quantifiers]] [[Back and forth]]