Opening TheoremExplainAgent… Continue