Documented FixPoint.