rv~a ?- 3 *.