< t,a,b,c,d; (b d a^-1 c^-1 a^-1 b^-1)^5 , a^t=b, b^t=c, c^t=d >
