Implementing both sides of the Church-Turing Thesis creates Industrial Strength Computers founded on the laws of the Lambda Calculus enforced by Capability Limited Addressing. The Software reliability matches the hardware reliability by detecting and automatically recovering from any software bugs. Digital boundaries are enforced by Capability Limited Addressing administered by a Lambda Calculus meta-machine. The symbols of the mathematical expression become the digitally protected modules of the software.