Improved formula "calculability".