more structure on constants