Email-запись: Ground interpolation for the theory of equality