In the petroleum industry, a hard rock is a [[cement|cemented]], well-[[consolidated]] formation.