Updated seminar talk with pictures and ZFC example