- [[intro-format]] : Provide a description, as needed, for each hypotheses, one per line. **Example:** ```lean #TODO ```