Added specification