only generate unique lemmas
entries with BDAG for Mk