Adding a Discourse proof