The cold war is raging outside and our young hero, László Lovász, stumbles upon a body that has been stabbed!

Or, in math terms: in 1979, Lovász found an upper bound for the Shannon capacity of a graph and introduced the theta body, a powerful relaxation of the stable set polytope $\text{STAB}(G)$.