modular left arrow
left arrow modulariseation