Looks like @briehugger hasn't commented yet!