[davnn]

The intersection is also interesting when you look at equational proofs in Mathematica.

https://reference.wolfram.com/language/ref/FindEquationalPro...