SubstEquiv in a Matrix