TheoreticalOps added to diagnosis