Source: https://conf.math.illinois.edu/~castelln/M117/logic.pdf