Adding enumerated requirements specification