SMS dit: Advances in the boolean domain /