Definition (Lower shadow). Let $A$ be a family of sets of size $d$. The lower shadow $\partial A$ is $\{B:|B|=d-1,\exists A\in A,B\subset A\}$.