$KOMA can be shorted now