Revert "12-4 check"

This reverts commit 80385da70b81c8d1fd3ee4530540e83ba64bca13.