positivity calculus theory