BALL

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