How to Write Pruning Specs