¿esta palabra clave opcional es redundante? [cerrado]

KDC-REQ ::= SEQUENCE {
        -- NOTE: first tag is [1], not [0]
        pvno [1] INTEGER (5) ,
        msg-type [2] INTEGER (10 -- AS -- | 12 -- TGS --),
        padata [3] SEQUENCE OF PA-DATA OPTIONAL
            -- NOTE: not empty --,
        req-body [4] KDC-REQ-BODY
}

Pensé que todo entre corchetes era opcional, ¿por qué padata tiene la palabra OPCIONAL explícitamente como parte de su definición?