Added setup methods to burdenofproof.py in demo1b