Debugging for CaveJohnson