@Cory Grinstead tagging you on this PR for a fix for our to_cnf and to_dnf boolean algebra functions: https://github.com/Eventual-Inc/Daft/pull/3728