Det förefinnes således envertikal