If configuration-counting is semantically indeterminate, the 2^O(f(n)) bound is not a discovered mat...