first commit - adding the first attempts to plug in proof