Machinery Masters | Glimek Intermediate Prover