lilkim2025 comments on Kajus’s Shortform