questa parola chiave opzionale è ridondante? [chiuso]

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
}

Ho pensato che tutto tra parentesi quadre fosse opzionale, quindi perché padata ha la parola OPTIONAL esplicitamente come parte della sua definizione?