procau lujvo

x1 is uncontended/is unchallenged/faces no resistence about x2