Syntactic Token Calculus v2