If an unidentified someone (out of the two of you) leaves a yellow highlighter in his pocket, and it goes through the washer AND dryer, do you know what will happen?
It will make little yellow dots on your clothes. Not his. Only yours.
Life isn't fair and neither are highlighters.