$CHK I’ve read so many conflicting sources, what happens to 7/17 puts? Just trying to figure out if they’re worthless or will be honored at full value as some sources say? Any help is appreciated!!!