SMS dit: Partial evaluation :