Output: [|x=0|]