prover_sebya_7_28.05.2023.pdf