Koniec_horyzontu! does not exist