Small test cases for substitutions.