xxx: Each employee in the office is provided with a controller with two inscriptions:
Coffee
Mined

Good employees have buttons, bad employees have lamps.