baseuri=cic:/matita/minimalist_foundation/