[submodule "src/proposition"]
	path = src/proposition
	url = /home/david/u/edr/redac/proposition/
