SIERRA Verification Module: Encore User Guide ? Version 4.40.