The events raising by the proof model are now stored into the sate.