2 ms·Thanks for the summary! This does sound a bit more encouraging towards Harel's workby fsloth 12y agoThanks for the summary! This does sound a bit more encouraging towards Harel's work