removing references to rlverify in favor of lexmap