  Given a compact quantum metric space (A, L), we prove that the domain of L
coincides with A if and only if A is finite dimensional. We then show how one
can explicitly build many quantum metrics with distinct domains on
infinite-dimensional AF algebras. In the last section, we provide a strategy
for calculating the distance between certain states in these quantum metrics,
which allow us to calculate the distance between pure states in these quantum
metrics on the quantized interval and on the Cantor space.
