Added atoms and implication.