filtration under diminished pressure; filtration under reduced pressure