Source: https://people.math.gatech.edu/~ecroot/2406_2012/basic_logic.pdf