. . "(2) there is a man M with a martini, and M is a spy" . .