Before revision:  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:  Further, we perform the post-leap checks in such a way that the statistics of the sample paths generated will not be skewed by the rejection of a leap.