theoretical support for tucalc