Mathisco’s Shortform