Before revision:  The new calculus is thus intuitive and compact. The calculus is also fail-safe in that, under minimal assumptions, all formal calculations are guaranteed to yield mathematically well-defined stochastic processes.
After revision:  The calculus is fail-safe in that, under minimal assumptions, all formal calculations are guaranteed to yield mathematically well-defined stochastic processes.