keep lefff lemmas into memory because it is to costly to load it everytime