Implemented ProofPower style Goalstates