Talk with fp was rather productive. Model theory midterm got postponed again, this time until next Friday.
