Add simple AList lemma.