OCD proof