Revert "Prot"

This reverts commit 596204278cbb2cfffc8f9039976272cf50fe2d57.