The pruning-manual, being the 18th ed., rev. and reset