added spy calculus term for pi and piprocc