Async lemma loading works.