One comments on Hastings’s Shortform