back n forth (Explicit)

bounds intro (Explicit)