Update PHIL145 and MATH138 notes.