Documentation

How to run it, and how to check it

Written for someone who intends to verify what the software tells them.