Lime 6: Substitution with Two Variables