It is proved that the philosopher is an obsessive-compulsive and the obsessive-compulsive is a philosopher.