Szmuc, D. E. The (Greatest) Fragment of Classical Logic That Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) . B Sect Log 2021, 50 (4), 421-453. https://doi.org/10.18778/0138-0680.2021.08.