Looks like @antonchigurh hasn't commented yet!