Late at night, they emerge deep in the threads to argue about NIPs and kinds and it can be quite amusing.