Definition of "carved in stone" in English