{% for proposition in propositions %} {% endfor %}