Ease converting vector equalities to equalities