Solutions by Conor Hoekstra.