Hello, I have an index: `CREATE UNIQUE INDEX tile_index ON tiles (zoom_level, tile_column, tile_row)` And the following query: `SELECT min(zoom_level), max(zoom_level) from tiles` The query is pretty slow for large databases and I suspect it's not using the index. I looked at the "min/max optimization" but not quite sure if it applies. Any advice appreciated. Glenn