Dear all, Last time we worked through exercises 6–8 of Chap. 1 in Awodey's book. We plan to finish exercises for Chap. 1 tomorrow at 3 PM on https://meet.google.com/qxq-qawo-fiz I hope to see you all tomorrow. -- Best regards, Artem & Julia -------------- next part -------------- HTML attachment scrubbed and removed