Presenting a poster at DeepMath 2022.