typo in EProver specification