Paragraph
This seems reasonable. Is it really true? Let's prove the first fact:
in-context