5.254

Une opération peut disparaître (par exemple la négation dans « ~~p » : ~~p = p).