Source: https://www.irif.fr/~roziere/logiqueL3MI/calculPropPred.pdf