added specification test