$CVX wird cvx?