TC Introduction to Program Logic - Non-Members