(And I have to head home soon because people are wakingn up and social distancing is a lot easier between midnight and 6am at picnic tables on a university porch. Much less so when the sun comes up...)