#include <type_manip.h>
Eliminate the elements of Second that evaluate Predicate::value==TRUE when combined with some element(s) from First.