Thread:Veenster7/@comment-5366328-20170521002056/@comment-5366328-20170521004810

Richard Horvitz still has the category.