git commit -m 'New version of proof, without on the boundary'
New version