Zac Hatfield-Dodds comments on AI #43: Functional Discoveries