<s>[INST] Zkontrolujte, zda následující fráze je dobře utvořený vzorec.Existuje x takové, že P(x). [/INST] Ano, fráze je dobře utvořená formule. Je to tvrzení, že existuje x takové, že platí P(x). </s>