Leyfisvandamál: raunveruleg dæmi og afleiðingar