Just a polite reminder

Your coworkers, boss, and HR are NOT your friends, buddies, family, or pals. There are some out there that I'm sure are an exception, but for the bulk of us, keep this in your mind when you communicate anything with anyone at work.