v : ; v- 1 ^$