trivialist
not defined yet