16FL (Explicit)

DGNF (Explicit)