" Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two faculties, which we may call intuition and ingenuity, "

― George Dyson , Turing's Cathedral: The Origins of the Digital Universe