Mathematics Distillation Challenge – Equational Theories - Tech Sentiments