If that was actually being considered you don’t need to default in the first place.