Source: https://logicmanual.philosophy.ox.ac.uk/pdfslides/tt1.pdf