I learned there is a difference between OCD and OCPD. OCD (Obsessive-Compulsive Disorder) involves intrusive, unwanted thoughts (obsessions) and repetitive behaviors (compulsions) done to relieve anxiety, which the person usually finds irrational, while OCPD (Obsessive-Compulsive Personality Disorder) is a personality pattern of perfectionism, rigidity, and control where the person often sees their rigid behaviors as appropriate and correct, leading to interpersonal problems.
Also, it is good to start each day with a clean slate for students with some mental health disorders.