Skolem_arithmetic loading ...