[NL2-NL10] NL4; SH: AJo against limp-push