Find!
x1 is a half (1/2) of x2.
Alternative to xadba using a regular construction with si'e. See also re.