összekeverted az univerzális és az egzisztenciális kvantort