[NL] push/fold