Comment by _rerr

Ah indeed, I mixed up his name with the Shalev part of the name of the other author.