Pushing Ice

by Alastair Reynolds

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