When the difficulty of a problem lies only in finding out what follows from certain fixed premises, mathematical methods furnish invaluable wings for flying over intermediate obstructions.