Source: http://www.math.helsinki.fi/logic/opetus/log1/18_Logic_Predicate_Logic_free_bound_text.pdf