(s' by v) are the basis, which constantly narrows in relation.

And eats all alone... And since our assumption is here called.