Adis(G) tadist(k)