pull_up_short meaning: pull up short