Doesn't have to be considered as it has already been deemed in Default as filings already confirm. ;-)