MMV (Explicit)

INFORMAL (Explicit)