WYRL: updated the logic example so that it now compiles; however, it doesn't run correctly.