Just Symbol Manipulation

Chess, calculations, proofs, music and software can be described by symbol manipulation. When something can be described by symbol manipulation processes that obey the laws of physics, it is said to be formalized.