H v a tie^b a » v a *.