briangriffinlover420 comments on β-redex’s Shortform