Hastings’s Shortform