On logic in complexity theory, and birds and frogs

Logic Mentoring Workshop @ CSL 2023, Warsaw