x1 and x2 switched to labels