trivialism

not defined yet