Revert "Formal"

This reverts commit 561732d44c2f510e597f1f8bdd33d6d9eeefbee7.