// assign is superset of iterate, iterate is a superset of evaluate
->
// assign is a subset of iterate, iterate is a subset of evaluate