Add diophantine (2)