az volt az állítás, hogy a leaf minden autót lenyom a lámpánál.
a minden autó halmazba pedig a 760il is beletartozik.