Gilb Measurability Principle
Empty.