The trivial is necessary [to function]