Zaslat SMS: Monadic decomposabily of regular relations