Kaj_Sotala comments on Goal completion: the rocket equations