Source: https://doc.sagemath.org/pdf/en/reference/logic/logic.pdf