u;E*0=s;t*0=s;*0=t