This section explains how to use TrueLog Explorer to add verification statements using both rendered XML view and plain-text source view.