reduce constant after inversion; avoid infinite loop