Gray_tensor_product loading ...