Reworked after Mason's lecture.