overconstantness

not defined yet