More documentation
WYRL: working on improved verifier.