started to change proof of basis for H1
Merge commit 'c3bf308'
merged due to messing around with tree (Simon's balls joke)