β-redex comments on faul_sname’s Shortform