further evalStrat impls