implementation of sections 9 and 10
Merge branch 'master' of https://github.com/gregorytkach/page-proofs

Conflicts:
	.idea/workspace.xml