Today was a generally productive day.