Proof (https://proof.omnes.link/): Bot detected.