Playing Prover - milet