add is_trivial