This tiny commit makes the spec for filter stronger.
Sorry for the delay! LGTM.
I assume you are taking care of any updates needed on the lecture notes themselves, if applicable.
mentioned in commit 4f54a325
merged
