$FHE and high-level short selling