Pi extension for visible goal loops with independent skeptical observation - View it on GitHub