Dredge operators are also called: