3 ... and complicated applications of algebraic geometry over free groups as well as an extension of methods to solve...