Opening a vector inequality in Cartesium…