Added proof that "filter" is strict.