BALL

> ? (implication)
> domain
> property