Working on Gamma lemmas