P
Initializing...
(65:X) — an acyclic relation on a finite set has exactly one solution, V₀ · Prove2Me