nondiabolicalness
not defined yet