paulfchristiano comments on Goal completion: the rocket equations