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