Dear all, I just found that the counter problem has no relation with theorems. It happened without theorems while some examples worked correctly. There may be another problem in my definitions in environment file. I’ll do more tests. Thank you for reading. Best regards, Dalyoung