idealness
not defined yet