 not. First, we should remember that modifying a term such as <code>a</code> above should be done with great care in order to avoid name clashes. But most importantly if the easy part is to beta-reduce a redex, the main problem is to find one! For this we need a <em>strategy</em> to find a redex to reduce. In terms of programming, the three most famous strategies are <em>call-by-value</em> (the one implemented by Clojure), <em>call-by-name</em> (that you can find as an option in e.g. Scala) and <em>call-by-