Tag number theory: Diophantine equations