: dinvert swap invert swap invert ;