Revert "formal"

This reverts commit c735f7f361d8b3a15687d1235a00f451126f205a.