hypothetical documentation on how to run