envelope operator