Filter specification (Logic chapter).