Better naming for the symbols