Source: https://www.cs.colostate.edu/~cs122/Fall16/slides/PropositionsPredicates.pdf