Revert "Reductio obsequium"

This reverts commit b6e6232e12e472cb0b629be0a233f4fc772f31e3.