https://courses.physics.illinois.edu/phys598pen/lectures/LogicalArgumentation_SP14.pdf