Problem with the fixed_points code. Things are inverted somehow. is_fixed_point is not working correctly.