That was a very successful call-by-name week folks! Thanks to all who participated!