Difference_operator loading ...