added a first draft of the additons on Brahms and the Kripke structure