pg-org-demo: inductive_proof .... ?