 Remark: We already have Enumerability. Now, from Main Theorem as well Compactness and Löwenheim-Skolem for \(\MSL\), we easily obtain Compactness and Löwenheim-Skolem for \(\XL\). Therefore, the logic under investigation could have a strongly complete calculus. You can either define it or use the many-sorted one.