These must be the names of the grotto carvers. Such a grotto couldn't have been completed in just a few short …