Looks like @drpaul hasn't commented yet!