Put lemmas into Kernel as state.