We revisit the topology of the KK-groups and the role of the UCT in classification theory. We show (without assuming the UCT) that if A is a separable exact residually finite dimensional C*-algebra with finitely generated K-homology, then A embeds in the CAR algebra.