[math-fun] simple rocket engine?