( nedt rm^t v ?a.