Digging STRAIGHT down but ORES are RANDOM in Minecraft