unfrivolousness
not defined yet