Формальный манипулятор в математике часто испытывает неудобное чувство, что его карандаш превосходит его в интеллекте.