why is this capitalized? and why does it takes `xs` as input instead of `ys`?