Simplify using let\!