power of interval, abs of interval, atn theory