Looks like @heterostrophy hasn't commented yet!