Löwenheim and Hanf numbers measure only the cardinality thresholds for satisfiability, not the full ...