And @Kevin Wang here's the PR we discussed where we move our rewrite rules to after our optimization passes to allow pushdowns to work: https://github.com/Eventual-Inc/Daft/pull/3992 I should be writing tests for the monotonically increasing ID case but I'd like to delay it until we have ordinals