GNF (Explicit)

x back (Explicit)