entering gate and getting deeper inside
p<-revious | n->ext