Renamed (withthe ...) to (witheach ...) for more obvious semantics when multiple definitions exist.