Wrote specification of boolean filter