pub fn project(k: &[(u32, u32)], keep: &[u32]) -> Vec<(u32, u32)>
k restricted to the categories in keep: exactly the pairs whose category is kept, in their order (a filter), so a sorted key projects to a sorted key.
k
keep