Názor ke článku K čemu je teorie (důkazů) od Cousot - @zboj: no alespon ten priklad s "opici a...