x'=re