Edouard Harris comments on Biextensional Equivalence

[Edouard Harris]

Really interesting!

I think there might be a minor typo in Section 2.2:

For transitivity, assume that for $i=1,2$

I think this should be $i=0,1$ based on the indexing in the rest of the paragraph.

[Scott Garrabrant]

Fixed. Thanks.