M (Explicit)

Prolog (Explicit)