.PHONY: assertions
assertions:
	$(MAKE) -C assertions/