Right-hand-side[RHS](The right-hand-side term is a pattern... http://www.cs.cornell.edu/info/Projects/Nuprl/manual.with.index/node69.html)