(n.) Any very hard rock.