Principle of Computational Equivalence

Lambda calculus creates complex computational universes with simple rules, which further validates Wolfram's Principle of Computational Equivalence.