Buck comments on Buck’s Shortform

[Buck]

Thanks heaps for pulling this up! I totally agree with Eliezer’s point there.