I think the issue is that 9E's software is a different vendor from Delta, so it's outside of Delta IT's ability to determine non-rev priority, if/when a 9E pilot is commuting to work or not. The only reason 9E has these passes over retirees, is that Delta has a no-involuntary bump policy. So, 9E pilots using positive space on the next flight were bumping revenue passengers.