Eigil Rischel comments on Biextensional Equivalence