Video - opakované operace, kvantifikátory; 28:12, 64M (J. Fiala)