That's interesting. So this would have been 2017, 2018? How long did the NDA + paired gag order about the NDA, and the non-disparagement order last? The OA one is apparently a lifetime one, including the 'non-disparagement' one. Was the YC HARC NDA also lifetime?