(((a,f)x,(a,e,f)w)t,((a,f)v,(g,h)u)s)r;