Are `@covers` really needed?