Given a finite set of planets P and a query star s, RANSOC guarantees complete space coverage while maintaining relevance.