My boss just asked if it was OK to shred colored paper