Cycles_and_fixed_points loading ...