but to use brevity, and avoid much laboring of the work, is to be granted to him that will make an abridgement.