document the verify goal