a couple more cases of evaluate_enveq