mikäli

provided that, if m