probabilistically checkable interactive

Nothing on this topic has a file attached to it right now. The writing is all still there — read the feeds instead.