SMS dit: From topos to trope