No pages link to A new theory consistency index based on deduction theorems in several logic systems.