Yes, assuming the stuff it depends on is already formalized.