Source: https://people.umass.edu/partee/726_01/lectures/lecture3.pdf