Is anybody at the AGM? Any questions about potential spillover from VIP segment to other segments in the event that VIP numbers were to decline significantly?