Translate
inverse triplex rule