yeah. I mean, I didn't know you could mine lapis with a stone pickaxe. I know he could have gotten it from a mineshaft chest, but he only has like six items in his hotbar, and those chest usually give useful things like iron, gapples, notch apples, bread, and stuff like rails and redstone.
