Hi Juniors, It is Columbus day, but many of us are here! (Pet on the shoulder.) Let's meet and learn even more about reasoning about programs in CPS. See you soon. Hyeyoung -------------- next part -------------- HTML attachment scrubbed and removed