# HG changeset patch
# User HackBot
# Date 1489117635 0
# Node ID 5f7cad1b7dd6430304c88dd77344b2ba937d1cc5
# Parent  e17b6a65709b676ed68806a2c20fe72c5b3db2eb
<oerjan> slwd pcp//s,eg,ogic,

diff -r e17b6a65709b -r 5f7cad1b7dd6 wisdom/pcp
--- a/wisdom/pcp	Fri Mar 10 03:40:04 2017 +0000
+++ b/wisdom/pcp	Fri Mar 10 03:47:15 2017 +0000
@@ -1,1 +1,1 @@
-PCP refers to probably cyclidine proofs. It is precipitously illegal in many places, but research has shown that PCP is, surprisingly, No Problem.
+PCP refers to probably cyclidine proofs. It is precipitously illogical in many places, but research has shown that PCP is, surprisingly, No Problem.