all:
	test -f ../theories/test.vo
	touch done
