All 4 you mention had an element of distressed carrier involved, something Spirit management specifically argued was not the case. And the judge used against them in the ruling.