x=0|(x1)