Семинар 4. Елена Попова. Логика свидетельств