β-redex comments on Did ChatGPT just gaslight me?