SHRNSZN (Explicit)

Assumptions (Explicit)