HW5 (PR1) 15 points. 10 for documenting that the student used simusem; 5 for the proof of correctness.

PR2 grading guide. 10 points in total. 5 points per exercise.

HW6 grading guide. 18.5 points in total. 2.1.2 4.5 points in total, 0.5 point per exercise. 2.2.2 4 points in total, 0.5 points per exercise. 2.4.1 4 points in total, 0.5 points per exercise. 2.4.3 2 points in total, 0.5 points per exercise. 2.4.4 1 point: 0.5 points per part. 2.4.5 3 points in total, 0.5 points per part.

PR3 grading guide. 24 points in total. 2.1.1 4 points in total, 0.5 points per exercise. 3.1.1 7 points in total, 1 point per exercise, except 2 points for (f). 3.1.2 8 points in total, 2 points per exercise. 3.2.1 5 points in total (a) 2 points, (d) 4 points.

PR4 grading guide. 20 points in total. 3.3.1 6 points in total, 1 point each. 3.3.2 2 points. 3.3.3 3 points. 3.3.8 3 points. 3.3.11 6 points, 2 points per paer.

PR5 grading guide. 4 points in total. 2 points off if the solution is not logarithmic in the exponent.

PR6 grading guide. 20 points in total. 4 points for the relations given by extension. 2 point for each of the 8 relations given intensionally (i.e., by rule).