orderlessness

not defined yet