The Law of Substitution