23 (Explicit)

Assumptions (Explicit)