Joint Number Theory/Logic Seminar: On a modular Fermat equation