right, but in principle postgres could keep track of this as a feature.