added complexity theory