t * re v<