4SIAH (Explicit)

DGNF (Explicit)