The theorem of uniqueness of solutions of first order, quasilinear, symmetric hyperbolic systems is naturally formulated in terms of so-called lens-shaped domains. Roughly, a domai …