1 free point +


1.1

3p,
  true: 0.5p
  and: 0.5p
  iff: 0.5p
  intro: 0.5p
  no loop/errors: 1p
  exists too much: -0.5p
  odd incompleteness: -1p

1.2

3p,
  false: -0.5p if missing
  and: 0.5p
  or: 0.5p
  iff: 0.5p
  exists: 0.5p
  does all goals: 1p


1.3

3p,
  1p per line
    -1p if intros/destructs inverted and incomplete
    -0.5p for missing try
