prove nun (Explicit)

mode (Explicit)