proof simplification 3.3
3.3 updated, README updated