HAYDE.LLI.LA2 (Explicit)

A.7.B.E (Explicit)