Sure, he figured it out in practice, but what really counts is that NASA figured it out in theory