Peterdjones comments on Mixed Reference: The Great Reductionist Project

[Peterdjones]

EY, please hand the SIAI keys to Rob!