del Valle-Inclan, P. Harmony and Normalisation in Bilateral Logic. B Sect Log 2023, 52, 377-409.