Exercise for the reader.