All code for Mineplicity