[ofslidingfeet]

He tried to be cutesy and show how an enumeration of the criteria for these categories form "judgments" which define the categories themselves, essentially suggesting that this is likely to work since the analytical domain fundamentally involves self-consistency.