mit der Bedeutung: u haben wir schon gesehen; wenn noch v kommt, dann können wir alles durch T ersetzen.
(groß Werkzeuge)