Moved from phlegmaticprogrammer to proofpeer namespace.