Program correction
Tree generation for parallel chains
Bibliography update
Had to remove 'proof' for parallel chains
Conclusion
Safety commit
Figure