Looks like @christiano4 hasn't commented yet!