unfrivolous

not defined yet