β-redex comments on Give Me Your Data: The Rationalist Mind Meld