Robinson_arithmetic loading ...