main.tex: cleanup formatting
preamble: comments cleanup
preface: stop declaring myself low-quality
mention another way to write inference rules
cite pebble definition
integration: remove comments
integration: formatting
formatting cleanup
formatting cleanup
these statements don't take variables
proofs: cleanup
proofs: contradiction: add example
sets: set master tex file