Assertion list for term "receive a decryption key".

Results from Ascent++: 1
victim CapableOfreceive a decryption key 0.45