Variational_inequality loading ...