https://www.dict.cc/english-german/We+shouldn%27t+jump+the+gun.html