--- a/src/convex.rs	Mon Sep 01 13:51:03 2025 -0500
+++ b/src/convex.rs	Mon Sep 01 20:55:34 2025 -0500
@@ -395,7 +395,7 @@
 impl<X, F> Prox<X> for Norm222<F>
 where
     F: Float,
-    X: Euclidean<F, Owned = X> + ClosedMul<F>,
+    X: Euclidean<F>,
 {
     type Prox<'a>
         = Scaled<F>
@@ -415,7 +415,7 @@
     type Derivative = X::Owned;
 
     fn differential_impl<I: Instance<X>>(&self, x: I) -> Self::Derivative {
-        x.own()
+        x.own().into_owned()
     }
 }