Looks like @deflationist hasn't posted yet!