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, 421-453.