It seems like it doesn’t hold since this relies on turning the whole thing into a piecewise linear function.