SMS dit: Logical papers: