brambleboy comments on Kajus’s Shortform