t v * * ^t