((x.y)*|y)*
