^ ( vlrn v \ t.