OFF IR (Explicit)

Assumptions (Explicit)