GT : a→ tara r→ targalt