Fake Xylex Exexutor

(Proofs)