overconstantness
not defined yet