Correct comments, rename functions
More paper: draft of summary, more proofs