Pushing Ice

by Alastair Reynolds

Cowards were exactly the kind of people you wanted around nuclear technology.

The existence theorem says that it is always much easier to find a solution when you can be confident that one exists.