Reminder: Each Thursday, including the coming one, we have a Bohan (mini-test) on definitions and quotig theorems.