BALL

> sequence
> ↑ ... is defined by
> ? (implication)