Text this: A course on Borel sets /