SMS dit: Degrees of unsolvability: structure and theory