Revert "prufa"

This reverts commit 1822a1637a7b822135c80464d39e8b4ea51dbd78.