example 4.6
example 4.5
example 4.9
attestation sw10