static void Change(Executive person, Department department) { }
static void Join(Executive person, Department department) { }
static void Quit(Executive person) { }