global fixed-point