added bool flag to low event indicating declassification
statement of soundness