Sn0>=~y,^H-R