Revert "Revert "Revert "cops"""

This reverts commit d08f9a3395c65e9561306439e0166a6147d608dc.