PROOF-YX backend běží.