Reminder about Analytic Sets