Looks like @deflationist hasn't commented yet!