use the name in the exists contract in its error message