Hi everyone, I wonder why it is “short a risk-free bond”, instead of “long a risk-free bond”. We have “synthetic protective put = long put + long forward + long risk-free asset”, right?