Aktualizace: Náš Prover nefunguje