lilkim2025 comments on GenericModel’s Shortform