Would Barnes lawsuit against AMC have been withdrawn if AMC didn’t get the reverse split?