Posts to the tribute of John D. Mitchell