Revert "formal"

This reverts commit 9702181084f045737e0150af29dbb6435458aecd.