Oops, I wanted define VERIFY0 in terms of VERIFY3U here.