Rather than simply inferring that a partition is empty, we can check it concretely through a simple SELECT statement, like: ```sql SELECT * FROM table PARTITION(p_20230724) LIMIT 1; ``` If any data comes back, then we have failed an invariant.