WYRL: making progress on documentation and thinking through the verifier.