fix-points can be reached