edited "should use lexical scoping to sythesize functions"