irving’s Shortform