The community already has a lot of verification-related libraries, such as skooma, vex, but why write a new one?