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