pre:
	test ! -f ../theories/test.vo
post:
	test -f ../theories/test.vo
	touch done