u <* x 



