Dual Mode Logic - Levi (Springer International Publishing, 2021)