Source: https://mysite.science.uottawa.ca/jkeillor/english/teaching_files/substitutions-eliminations.pdf