Define a function that takes a procedure that executes a boolean test on an atomic value and a list of elements as arguments. It should return a list containing exactly two sublists.