So what exactly is a short sale?