THEN(a,b,c,d) THEN(a,b,c,e)