Thread:DewSpectrum11/@comment-36931243-20181230084912/@comment-31448721-20181230085436

Yes, non-cats is a good category idea.