spolecna/06/tal
 + cookova veta (+1 squashed commit)