Fixed-point_logic loading ...