Each employee of a certain company is in either Department X