Intuitionistic_arithmetic loading ...