Some ideas on evaluation of mathematical knowledge are presented.