2 problems

Inert equaliser conjecture. If $S$ contains at least one injective homomorphism, then $\operatorname{Eq}(S)$ is inert in $F(\Sigma)$.

Wilton's inclusion/exclusion Hanna Neumann conjecture. For all such $H$ and $K$,