Looks like @shalev hasn't received any replies!