Before revision:  The procedure developed is novel in that we enforce any leap condition via a post-leap check as opposed to performing a pre-leap tau selection. Further, we perform the post-leap check in such a way that the statistics of the sample paths generated will not be skewed by the rejection of a leap.
After revision:  The procedure developed is novel in that we enforce any leap condition via a post-leap checks. Because the representation we use separates the randomness of the model from the state of the system, we are able to perform the post-leap check in such a way that the statistics of the sample paths generated will not be skewed by the rejection of a leap.