evaluating SDES, while bringing it to a new abstraction level with the introduction of a