fixed points are equivalent