it looks like constants, so maybe we should write it this way.