Looks like @richardus hasn't commented yet!