Proposition evaluator