A formal manipulator in mathematics often experiences the discomforting feeling that his pencil surpasses him in intelligence