No reason to use safeEqual in wfNat