Source: https://homepages.math.uic.edu/~kauffman/Peirce.pdf