*Pre-condition*: Paragraph 1.

Paragraph 2.

