pub fn not(f: Filter<'_>) -> Filter<'_>