Iterated_binary_operation loading ...