make fixed points explicit