The logical prerequisite for a category error can't simultaneously be a category error without contradicting itself.
The logical prerequisite for a category error can't simultaneously be a category error without contradicting itself.