https://www.rhosignal.com/posts/polars-boolean-filter/