Final message

Final list of propositions