$$$ (Explicit)

Assume (Explicit)