Thanks Kevin! Do puts get so expensive during these major declines that they become impractical tools for shorting?