Assertion: puzzle's solution | /r/CapableOf | exist for all ≥
Facets:
value: with no search
type: OTHER
Source sentences:
text: If the goal is to find a single solution, one can show solutions exist for all n ≥ 4 with no search whatsoever.