oo{p v(gt)+1|1}