Attept at linear algebra in add-term matching case.