H 0 , xs » .^ llrefinlcmning: