monadic logic