Evaluator does not care about reducible.
Add env to sos and big edit for part 1.