Looks like @shalev hasn't commented yet!