What is the law is substitution?