New Analysis | ProofScript