changed to conjunction of all envTrans with disjunction of observed env behavior