x3 -> x4