User profile lemma deleted.