Ht o x-1 : o y.