radimvalencik: Velmi přínosné doplnění. Mj. je vidět, jak obtížné je volit "kompromis" mezi exaktností (tj. jak obecný případ uvažujeme a zda aparát dorostl do axiomatického vyjádření) a angažovaností (tj. jak umožňuje řešit "nejbolavější" reálné problémy).