Does he have to hold them for a certain amount of time? So he buys in December Pumps in January and sells in February?