 t o d o   l i s t
..........4

1. Say something about 4.1.2-5 ?

2. Prove (P \scong Q) iff ( [[P]] \scong [[Q]] )

3. Say something about 4.2.2 and 4.2.5 ? (Discreet/complete-ness
preservation) Probably some short inline justification will do

4. Prove 4.2.10


  A t t i c
::::::

Mention the "*" symbol

pag 16, lemma 4.1.3: add fn(P)_p \cap (Gamma \cup Delta) = \emptyset

really prove up-to-expansion-ish proof technique