WEB+SML: proper TOC for philosophy