I’m curious about the workings of the stimulus bill. If an airline takes govt money, they can’t furlough until the Fall, and the govt pays the pilots salaries. So 10,000 pilots at a Major, with an average salary of $250k/yr each, are going to sit home this summer and get full pay. Is that right?