to jump or to be jumped