Looks like @lnakov hasn't commented yet!