Revert "hmm4"

This reverts commit 865c7ee6b014fd82e9f8480073b3c3258b101c3d.