Statistics for Algebraic aspects of propositional logic