What follows is an aside.