Instead of doing (potentially) multiple append operations of two slices,
just do a filter + array which is much easier to read and prove correct.