Nick_Greenwood-shoggoth FINAL proof