P
Initializing...
(65:V) — every solution for an acyclic relation on a finite D equals V₀ · Prove2Me