О.Г. Харлампович. Equations in a free group, first-order theory and beyond