let choose x y = y