Looks like @planimetry hasn't commented yet!