literate unitb verifier