Over the past two days, it moved up from 14.68 to 15.93, tracking along the high of the whole day. At 15.93, the $DCR surged by more than 7.1. I went in with a small position and followed a bit—felt bad for the shorts for a second, just a second.