Source: https://ece.uwaterloo.ca/~ece204/Lecture_materials/pdfs/Free%20variables%20and%20constraints%20in%20a%20nutshell.pdf