A trap-jaw ant jaw jump