let choose x y = x