trace x = x