TheoreticalOps added to diagnosis Fix Bug