title: Does filter preserve list ordering?
body: <p>Say you call the "filter" function on a list, and you use this to find all elements that satisfy a certain property.  Are the elements in the output list guaranteed to be in the same order that they were in the input list?</p>