Existence Descent (Explicit)

Straight Down (Explicit)