WYRL: making some progress.
WYRL: ok, so it now compiles the logic example and runs it; however, it's not working mysteriously in one situation.