A propositional model of implicit evaluation